1. A Concise Introduction to Mathematical Logic
پدیدآورنده : by Wolfgang Rautenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.
2. A Course on Mathematical Logi
پدیدآورنده : / by Shashi Mohan Srivastava
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
3. <A> Theory of Syntax : Minimal Operations and Universal Grammar
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Grammar, Comparative and general - Syntax,Minimalist theory (Linguistics),Language and languages - Origin,Evolution,دستور زبان تطبیقی - نحو,زبان - منشاء,تکامل
رده :
CD-B
,
P
,
291
.
H662
,
2009
4. A companion of feminisms for digital design and spherology /
پدیدآورنده : Amanda Windle.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Feminist theory.,Social structure-- Philosophy.,Sphere in art.,Feminist theory.,Social structure-- Philosophy.,Sphere in art.
رده :
HQ1190
.
W56
2019
5. A first journey through logic /
پدیدآورنده : Martin Hils, François Loeser.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Logic, Symbolic and mathematical.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.),Mathematics.,Mathematische Logik
رده :
QA9
.
H52445
2019
6. A mathematical introduction to logic
پدیدآورنده : / Herbert B. Enderton
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Logic, Symbolic and mathematical
رده :
E-BOOK
7. A theory of syntax :minimal operations and universal grammar
پدیدآورنده : [By] Norbert Hornstein
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع : Grammar, Comparative and general--Syntax.,Minimalist theory (Linguistics),Language and languages--Origin.,Evolution.
8. Abstract recursion and intrinsic complexity
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algorithms. ; Recursion theory. ; Set theory. ;
9. Abstract recursion and intrinsic complexity /
پدیدآورنده : Yiannis N. Moschovakis (University of California, Los Angeles, and University of Athens).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algorithms.,Recursion theory.,Set theory.,Algorithms.,Recursion theory.,Set theory.
رده :
QA9
.
58
.
M67
2019
10. Algebraic computability and enumeration models : recursion theory and descriptive complexity
پدیدآورنده : Nourani, Cyrus F.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Functor theory,، Model theory,، Computable functions,، Algebra, Homological,، Kleene algebra
رده :
QA
169
.
N68A4
11. Algebraic recursion theory
پدیدآورنده : Ivanov, Ljubomir Lalov, 2591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
I93
12. Algebraic recursion theory /
پدیدآورنده : L.L. Ivanov ; editor, Dr. J.L. Bell
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Recursion theory
رده :
QA9
.
6
.
I93
1986
13. Algorithm design : a recursion transformation framework
پدیدآورنده : Paull, Marvin C.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
P38
1988
14. Algorithmics :
پدیدآورنده : Gilles Brassard and Paul Bratley.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algorithms.,Recursion theory.,algorithme efficace.,algorithme probabiliste.,algorithme vorace.,algorithmique.,analyse algorithmique.,complexité calcul.,conception algorithme.,Algorithmes.,Récursivité, Théorie de la.,Algorithmentheorie,Algorithms.,Algorithms.,Algorithmus,Recursion theory.,Recursion theory.
رده :
QA9
.
6
.
B73
1988
15. Algorithmics
پدیدآورنده : Gilles Brassard and Paul Bratley,Title
کتابخانه: دانشگاه علم و فناوری مازندران (مازندران)
موضوع : Recursion theory,Algorithms
رده :
QA
.
B73
9
.
6
1988
16. Algorithmics : Theory and practice
پدیدآورنده : / Gilles Brassard, Paul Bratley
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Recursion theory,Algorithems
رده :
QA9
.
6
.
B73
1988
17. Algorithmics : theory and practice
پدیدآورنده : Gilles Brassard and Paul Bratley,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Recursion theory,Algorithms
رده :
QA
.
B73
9
.
6
1987
18. Algorithmics: theory and practice
پدیدآورنده : Gilles Brassard and paul Bratley
موضوع : Recursion theory,Algorithms
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
19. Algorithmics : theory and practice
پدیدآورنده : Brassard, Gilles
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
B73
1988
20. Algorithmics:theory and practice
پدیدآورنده : BRASSAARD,GILLES
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : RECURSION THEORY , ALGORITHMS
رده :
QA
9
.
6
.
B73
